In order to promote the use of evaltrace notation (see Visualizing Evaluation in Applicative Languages, by David S. Touretzky and Peter Lee, Carnegie Mellon Technical Report CMU-CS-89-198-R, Pittsburgh, 1989), a formatting style and font for use with LATEX have been made available. These are available via anonymous ftp in compressed tar format, from a.ergo.cs.cmu.edu (128.2.250.219), in directory pub/evaltrace, files README and evaltrace.tar.Z.
The creators of the style and font are not ``wizards'' at TEX or METAFONT. As a result, the style and font definition files have been quickly hacked together. Any improvements that you might make would be greatly appreciated. Please send them by email to either Peter.Lee@cs.cmu.edu. We'll try to keep the distribution up-to-date.